<?php echo json_encode($karyawan_list); ?>